Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...) Institution in Niesky in 1778. Fries attended the theological seminar in Niesky in autumn 1792, which lasted for three years. There he (secretly) began to study Kant. The reading of Kant's works led Fries, for the first time, to a deep philosophical satisfaction. His enthusiasm for Kant is to be understood against the background that a considerable measure of Kant's philosophy is based on a firm foundation of what happens in an analogous and similar manner in mathematics. -/- During this period he also read Heinrich Jacobi's novels, as well as works of the awakening classic German literature; in particular Friedrich Schiller's works. In 1795, Fries arrived at Leipzig University to study law. During his time in Leipzig he became acquainted with Fichte's philosophy. In autumn of the same year he moved to Jena to hear Fichte at first hand, but was soon disappointed. -/- During his first sojourn in Jenaer (1796), Fries got to know the chemist A. N. Scherer who was very influenced by the work of the chemist A. L. Lavoisier. Fries discovered, at Scherer's suggestion, the law of stoichiometric composition. Because he felt that his work still need some time before completion, he withdrew as a private tutor to Zofingen (in Switzerland). There Fries worked on his main critical work, and studied Newton's "Philosophiae naturalis principia mathematica". He remained a lifelong admirer of Newton, whom he praised as a perfectionist of astronomy. Fries saw the final aim of his mathematical natural philosophy in the union of Newton's Principia with Kant's philosophy. -/- With the aim of qualifying as a lecturer, he returned to Jena in 1800. Now Fries was known from his independent writings, such as "Reinhold, Fichte and Schelling" (1st edition in 1803), and "Systems of Philosophy as an Evident Science" (1804). The relationship between G. W. F. Hegel and Fries did not develop favourably. Hegel speaks of "the leader of the superficial army", and at other places he expresses: "he is an extremely narrow-minded bragger". On the other hand, Fries also has an unfavourable take on Hegel. He writes of the "Redundancy of the Hegelistic dialectic" (1828). In his History of Philosophy (1837/40) he writes of Hegel, amongst other things: "Your way of philosophising seems just to give expression to nonsense in the shortest possible way". In this work, Fries appears to argue with Hegel in an objective manner, and expresses a positive attitude to his work. -/- In 1805, Fries was appointed professor for philosophy in Heidelberg. In his time spent in Heidelberg, he married Caroline Erdmann. He also sealed his friendships with W. M. L. de Wette and F. H. Jacobi. Jacobi was amongst the contemporaries who most impressed Fries during this period. In Heidelberg, Fries wrote, amongst other things, his three-volume main work New Critique of Reason (1807). -/- In 1816 Fries returned to Jena. When in 1817 the Wartburg festival took place, Fries was among the guests, and made a small speech. 1819 was the so-called "Great Year" for Fries: His wife Caroline died, and Karl Sand, a member of a student fraternity, and one of Fries' former students stabbed the author August von Kotzebue to death. Fries was punished with a philosophy teaching ban but still received a professorship for physics and mathematics. Only after a period of years, and under restrictions, he was again allowed to read philosophy. From now on, Fries was excluded from political influence. The rest of his life he devoted himself once again to philosophical and natural studies. During this period, he wrote "Mathematical Natural Philosophy" (1822) and the "History of Philosophy" (1837/40). -/- Fries suffered from a stroke on New Year's Day 1843, and a second stroke, on the 10th of August 1843 ended his life. -/- 2. Fries' Work Fries left an extensive body of work. A look at the subject areas he worked on makes us aware of the universality of his thinking. Amongst these subjects are: Psychic anthropology, psychology, pure philosophy, logic, metaphysics, ethics, politics, religious philosophy, aesthetics, natural philosophy, mathematics, physics and medical subjects, to which, e.g., the text "Regarding the optical centre in the eye together with general remarks about the theory of seeing" (1839) bear witness. With popular philosophical writings like the novel "Julius and Evagoras" (1822), or the arabesque "Longing, and a Trip to the Middle of Nowhere" (1820), he tried to make his philosophy accessible to a broader public. Anthropological considerations are shown in the methodical basis of his philosophy, and to this end, he provides the following didactic instruction for the study of his work: "If somebody wishes to study philosophy on the basis of this guide, I would recommend that after studying natural philosophy, a strict study of logic should follow in order to peruse metaphysics and its applied teachings more rapidly, followed by a strict study of criticism, followed once again by a return to an even closer study of metaphysics and its applied teachings." -/- 3. Continuation of Fries' work through the Friesian School -/- Fries' ideas found general acceptance amongst scientists and mathematicians. A large part of the followers of the "Fries School of Thought" had a scientific or mathematical background. Amongst them were biologist Matthias Jakob Schleiden, mathematics and science specialist philosopher Ernst Friedrich Apelt, the zoologist Oscar Schmidt, and the mathematician Oscar Xavier Schlömilch. Between the years 1847 and 1849, the treatises of the "Fries School of Thought", with which the publishers aimed to pursue philosophy according to the model of the natural sciences appeared. In the Kant-Fries philosophy, they saw the realisation of this ideal. The history of the "New Fries School of Thought" began in 1903. It was in this year that the philosopher Leonard Nelson gathered together a small discussion circle in Goettingen. Amongst the founding members of this circle were: A. Rüstow, C. Brinkmann and H. Goesch. In 1904 L. Nelson, A. Rüstow, H. Goesch and the student W. Mecklenburg travelled to Thuringia to find the missing Fries writings. In the same year, G. Hessenberg, K. Kaiser and Nelson published the first pamphlet from their first volume of the "Treatises of the Fries School of Thought, New Edition". -/- The school set out with the aim of searching for the missing Fries' texts, and re-publishing them with a view to re-opening discussion of Fries' brand of philosophy. The members of the circle met regularly for discussions. Additionally, larger conferences took place, mostly during the holidays. Featuring as speakers were: Otto Apelt, Otto Berg, Paul Bernays, G. Fraenkel, K. Grelling, G. Hessenberg, A. Kronfeld, O. Meyerhof, L. Nelson and R. Otto. On the 1st of March 1913, the Jakob-Friedrich-Fries society was founded. Whilst the Fries' school of thought dealt in continuum with the advancement of the Kant-Fries philosophy, the members of the Jakob-Friedrich-Fries society's main task was the dissemination of the Fries' school publications. In May/June, 1914, the organisations took part in their last common conference before the gulf created by the outbreak of the First World War. Several members died during the war. Others returned disabled. The next conference took place in 1919. A second conference followed in 1921. Nevertheless, such intensive work as had been undertaken between 1903 and 1914 was no longer possible. -/- Leonard Nelson died in October 1927. In the 1930's, the 6th and final volume of "Treatises of the Fries School of Thought, New Edition" was published. Franz Oppenheimer, Otto Meyerhof, Minna Specht and Grete Hermann were involved in their publication. -/- 4. About Mathematical Natural Philosophy -/- In 1822, Fries' "Mathematical Natural Philosophy" appeared. Fries rejects the speculative natural philosophy of his time - above all Schelling's natural philosophy. A natural study, founded on speculative philosophy, ceases with its collection, arrangement and order of well-known facts. Only a mathematical natural philosophy can deliver the necessary explanatory reasoning. The basic dictum of his mathematical natural philosophy is: "All natural theories must be definable using purely mathematically determinable reasons of explanation." Fries is of the opinion that science can attain completeness only by the subordination of the empirical facts to the metaphysical categories and mathematical laws. -/- The crux of Fries' natural philosophy is the thought that mathematics must be made fertile for use by the natural sciences. However, pure mathematics displays solely empty abstraction. To be able to apply them to the sensory world, an intermediatory connection is required. Mathematics must be connected to metaphysics. The pure mechanics, consisting of three parts are these: a) A study of geometrical movement, which considers solely the direction of the movement, b) A study of kinematics, which considers velocity in Addition, c) A study of dynamic movement, which also incorporates mass and power, as well as direction and velocity. -/- Of great interest is Fries' natural philosophy in view of its methodology, particularly with regard to the doctrine "leading maxims". Fries calls these "leading maxims" "heuristic", "because they are principal rules for scientific invention". -/- Fries' philosophy found great recognition with Carl Friedrich Gauss, amongst others. Fries asked for Gauss's opinion on his work "An Attempt at a Criticism based on the Principles of the Probability Calculus" (1842). Gauss also provided his opinions on "Mathematical Natural Philosophy" (1822) and on Fries' "History of Philosophy". Gauss acknowledged Fries' philosophy and wrote in a letter to Fries: "I have always had a great predilection for philosophical speculation, and now I am all the more happy to have a reliable teacher in you in the study of the destinies of science, from the most ancient up to the latest times, as I have not always found the desired satisfaction in my own reading of the writings of some of the philosophers. In particular, the writings of several famous (maybe better, so-called famous) philosophers who have appeared since Kant have reminded me of the sieve of a goat-milker, or to use a modern image instead of an old-fashioned one, of Münchhausen's plait, with which he pulled himself from out of the water. These amateurs would not dare make such a confession before their Masters; it would not happen were they were to consider the case upon its merits. I have often regretted not living in your locality, so as to be able to glean much pleasurable entertainment from philosophical verbal discourse." -/- The starting point of the new adoption of Fries was Nelson's article "The critical method and the relation of psychology to philosophy" (1904). Nelson dedicates special attention to Fries' re-interpretation of Kant's deduction concept. Fries awards Kant's criticism the rationale of anthropological idiom, in that he is guided by the idea that one can examine in a psychological way which knowledge we have "a priori", and how this is created, so that we can therefore recognise our own knowledge "a priori" in an empirical way. Fries understands deduction to mean an "awareness residing darkly in us is, and only open to basic metaphysical principles through conscious reflection.". -/- Nelson has pointed to an analogy between Fries' deduction and modern metamathematics. In the same manner, as with the anthropological deduction of the content of the critical investigation into the metaphysical object show, the content of mathematics become, in David Hilbert's view, the object of metamathematics. -/-. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

Christopher Columbus Langdell has not only damaged the study of law with his three follies: his legal formalism, his redacted appellate case method, and his notion that legal practice taints the professor of law. His three follies have also impaired character development critical for legal actors. This Article focuses on four such critical character traits and virtues impaired by Langdell: (i) imagination, (ii) empathy, (ii) balance, and (iv) integrity. -/- This Article also calls out potential character issues with two professor (...) types inspired by Langdell: (v) the hazing professor who confuses intellectual rigor with intense discomfort and who uses the redacted appellate case method to inflict such discomfort at the expense of better pedagogy, and (vi) the professor without substantial practice experience who is substantially paid to teach what she has never practiced. -/- Agreeing with C.S. Pierce that the best argument is a cable rather than a chain, I end by weaving in a Langdell villanelle. I hope such a cable can help lift Langdell and his follies from legal education and the world. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Even if one sees the law as “a self-contained system of legal reasoning” from which we deduce “neutral,” non-political conclusions from “general principles and analogies among cases and doctrines” (including formalist claims that judges simply call “balls and strikes” like umpires in a baseball game), one should still consider certain characteristics of the party making such deductions or calling such “balls and strikes.” [Relevant citations to quoted language are in the Article.] If such decision maker has questionable motivations, lacks proper (...) perspective, does not grasp the flexibility in the concepts in play, does not grasp the restraints on concepts in play, does not follow the proper processes involved, and lacks the detail, courage, and tenacity needed to reach the proper “deduction” or “call,” on the face of things the formalist, too, should have reason to re-examine any “deduction” or “call” by such party. Thus, even the formalist should not deny the critical role of virtue when examining legal analysis, a role belying the notion of law as a "self-contained system of legal reasoning." -/- This Article thus explores basic freedoms and restraints applicable to legal analysis and the role that virtue plays in balancing such freedoms and restraints. Such exploration covers: (i) the origin, nature, and purpose of concepts and categories used in legal analysis; (ii) the experiential nature of the meaning of such concepts and categories used in legal analysis; (iii) the freedoms and restraints applicable to such concepts and categories as a result of either experience or of the concepts or categories themselves; (iv) how workable notions of virtue rightly balance such freedoms and restraints in legal analysis; (v) the distinction between such virtue and skill; (vi) reconceiving the analytically virtuous mean as a proper balance between such applicable freedoms and restraints; and (vii) defining and surveying the particular virtues that lead us to such proper balance and thus to good legal analysis. My hope is that lawyers and law schools in their curricula will follow such explorations as well in a quest to better understand legal analysis and how to teach and perform it well. (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

The topic of this essay is how non-realistic novels challenge our philosophical understanding of the moral significance of literature. I consider just one case: Joseph Heller’s Catch-22. I argue that standard philosophical views, based as they are on realistic models of literature, fail to capture the moral significance of this work. I show that Catch-22 succeeds morally because of the ways it resists using standard realistic techniques, and suggest that philosophical discussion of ethics and literature must be pluralistic if it (...) is to include all morally salient literature, and not just novels in the “Great Tradition” and their ilk. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

This article maintains that the so-called theory-practice divide in legal education is not only factually false but semantically impossible. -/- As to the divide's falsity, practitioners have of course performed excellent scholarship and academics have excelled in practice. As to the divide's semantic impossibility, this article examines, among other things: -/- (1) the essential role of experience in meaning, -/- (2) the resulting inseparability of theory and practice in the world of experience, -/- (3) problems the divide shares in common (...) with debunked Cartesian dualism, and -/- (4) modern cognitive psychology’s notions of embodied meaning which further underscore the semantic impossibility of separating theory from practice in the world of experience. -/- Using insights from such examinations, this article also explores implications of a debunked theory-practice divide for, among other things, law school curriculums and law school faculty hiring standards. -/- Keywords: legal education, legal writing, semantics, theory, practice, experience, Charles Sanders Peirce, embodied meaning, cognitive psychology, Cartesian dualism, affordance knowledge, metaphor, George Lakoff, category, humanities, Langdell, pragmatism, semiotics, philosophy. (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

Objective: Compassion has been associated with eudaimonia and prosocial behavior, and has been regarded as a virtue, both historically and cross-culturally. However, the psychological study of compassion has been limited to laboratory settings and/or standard survey assessments. Here, we use an experience sampling method (ESM) to compare naturalistic assessments of compassion with standard assessments, and to examine compassion, its variability, and associations with eudaimonia and prosocial behavior. -/- Methods: Participants took a survey which included standard assessments of compassion and eudaimonia. (...) Then, over four days, they were repeatedly asked about their level of compassion, eudaimonia, and situational factors within the moments of daily life. Finally, prosocial behavior was tested using the Dual Gamble Task and an opportunity to donate task winnings. -/- Results: Analyses revealed within-person associations between ESM compassion and eudaimonia. ESM compassion also predicted eudaimonia at the next ESM time point. While not impervious to situational factors, considerable consistency was observed in ESM compassion in comparison with eudaimonia. Further, ESM compassion along with eudaimonia predicted donating behavior. Standard assessments did not. -/- Conclusion: Consistent with virtue theory, some individual’s reports displayed a probabilistic tendency toward compassion, and ESM compassion predicted ESM eudaimonia and prosocial behavior toward those in need. (shrink)

I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...) motives can satisfy the moral concern. Finally, I suggest that when one has the right motives, fictive imagining is morally praiseworthy since it improves one’s ability to imagine the lives of others. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

Many wrongly believe that emotion plays little or no role in legal reasoning. Unfortunately, Langdell and his “scientific” case method encourage this error. A careful review of analysis in the real world, however, belies this common belief. Emotion can be cognitive, and cognition can be emotional. Additionally, modern neuroscience underscores the “co-dependence” of reason and emotion. Thus, even if law were a certain science of appellate cases (which it is not), emotion could not be torn from such “science.” -/- As (...) we reform legal education, we must recognize the role of cognitive emotion in law and legal analysis. If we fail to do this, we shortchange law schools, students, and the bar in grievous ways. We shortchange the very basics of true and best legal analysis. We shortchange at least half the universe of expression (the affective half). We shortchange the importance of watching and guarding the true interests of our clients, which interests are inextricably intertwined with affective experience. We shortchange the importance of motivation in law, life, and legal education. How can lawyers understand the motives of clients and other relevant parties without understanding the emotions that motivate them? How can lawyers hope to persuade judges, other advocates, or parties across the table in a transaction without grasping affective experience that motivates them? How can law professors fully engage students while ignoring affective experience that motivates students? Finally, we shortchange matters of life and death: emotions affect health and thus the very vigor of the bar. -/- Using insights from practice, modern neuroscience, and philosophy, I therefore explore emotion and other affective experience through a lawyer’s lens. In doing this, I reject claims that emotion and other affective experience are mere feeling (though I do not discount the importance of feeling). I also reject claims that emotion and other affective experience are necessarily irrational or beyond our control. Instead, such experience is often intentional and quite rational and controllable. After exploring law and affective experience at more “macro” levels, I consider three more specific examples of the interaction of law and emotion: (i) emotion, expression, and the first amendment, (ii) emotion in legal elements and exceptions, and (iii) emotion and lawyer mental health. To provide lawyers and legal scholars with a “one-source” overview of emotion and the law, I have also included an Appendix addressing a number of particular emotions. -/- Keywords: Emotion, Cognitive Emotion, Reason, Logos, Pathos, Legal Analysis, Legal Reasoning, Neuroscience, Philosophy, Persuasion, Rhetoric, Expression, First Amendment, Free Speech, Common Law Murder, Mental Health, NAACP v. McCrory, Anger, Contempt, Disgust, Hate, Malice. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

Lawyers and judges cannot adequately address the nature of text, meaning, or interpretation without reference to the insights provided by linguists and philosophers of language. Exploring some of those insights, this article focuses upon what linguists and philosophers of language call “pragmatics.” Pragmatics examines the relations between words and users rather than the relations of words to words (syntax) or the relations of words to the world (semantics). In other words, pragmatics studies how language users actually use and interpret words (...) and other signs in communication. -/- Pragmatics recognizes that speaker meaning can differ from (and even contradict) linguistic meaning, including the literal meaning of text. In its proper context, for example, “Bob is indeed a good lawyer” can ironically mean just the opposite. Pragmatics also recognizes that relevant text is not a thing-in-itself that is simply given. Good lawyers look at such things as purpose and cohesion when determining relevant text. They do not simply take their opponent’s (or even their client’s) assertions of relevance. -/- Pragmatics also provides lawyers with a number of specific concepts and tools which are helpful in determining speaker meaning. For user convenience, this article attempts to set out in one place a number of such concepts and tools. These include: (1) types of cohesion that help determine relevant text, (2) types of context that help determine meaning, (3) pragmatic principles of construction such as principles of relevance and politeness, and (4) important pragmatic notions or devices such as anaphora, cataphora, ellipsis, deixis, presupposition, unstated premises, entailment, and implementives. -/- Finally, as a recurring example (among others) of pragmatics in action, this article examines from multiple perspectives textual issues raised in King v. Burwell, 576 U.S. __ (2015). -/- Keywords: Pragmatics, Semiotics, Interpretation, Textualism, Plain Meaning, King v. Burwell, Affordable Care Act, Text, Meaning, Speaker Meaning, Implicature. (shrink)

Brief thoughts on why Rawls' "fictional" veil of ignorance is in fact real and why social morals and self-interest thus converge.

The hermeneutic pragmatism explored in this article timely examines how “post-truth” claims over-estimate semantic freedoms while at the same time underestimating semantic and pre-semantic restraints. Such pragmatism also timely examines how formalists err by committing the reverse errors. Drawing on insights from James, Peirce, Putnam, Rorty, Gadamer, Derrida, and others, such hermeneutic pragmatism explores (1) the necessary role of both internal and objective experience in meaning, (2) the resulting instrumental nature of concepts required to deal with such experience, (3) the (...) related need for workability to apply to the “the collectivity of experience’s demands, nothing being omitted,” (4) the inherent role of morality and other norms in measuring such workability, (5) the semantic as well as experiential nature of our workable realities, (6) the semantic freedoms involved in constructing, framing, and retaining our workable realities and concepts, and (7) the semantic, pre-semantic, and other restraints on constructing, framing, and retaining our workable realities and concepts. -/- Such hermeneutic pragmatism also introduces Eunomia, a real-world alternative to Dworkin’s superhuman judge Hercules. Named after the Greek goddess of good order, the human Eunomia represents the reasonable judge excellently versed in (among other things) legal theory, legal practice, linguistics, and philosophy of language. Additionally, in its appendices, this article surveys the pragmatic restraints of “implementives” and provides a detailed overview of pragmatic “workability” restraints for both law and fact. -/- (By “sense” the title of this article means not only “meaning conveyed or intended” but also “capacity for effective application of the powers of the mind as a basis for action or response.” See Sense, MERRIAM-WEBSTER’S COLLEGIATE DICTIONARY (11th ed. 2014) “Workable” has the broad meaning discussed in Sections II, IV, and Appendix C of the Article, and "good" is further explored in the section on Eunomia, namesake of the Greek goddess of good order.) -/- Keywords: Pragmatism, Hermeneutic, Truth, Rule of Law, William James, C.S. Peirce, Hilary Putnam, Richard Rorty, Gadamer, Habermas, Derrida, Lon Fuller, H.L.A. Hart, Post-truth, Postmodernism, Trump, Rhetoric, Meaning, Interpretation, Metaphor, Category, Lifeworld, Formalism, Framing, Deconstruction. (shrink)

With insights from philosophy of language and semiotics, this article addresses judicial choices and semantic errors involved in United States v. Stevens, 130 S.Ct. 1577 (2010) (refusing to read “killing” and “wounding” to include cruelty and thus striking down a federal statute outlawing videos of animal cruelty), and Snyder v. Phelps, 131 S.Ct. 1207 (2011) (finding a First Amendment right to picket military funerals and verbally attack parents of dead soldiers as part of purportedly-public expression). -/- This article maintains that (...) a better understanding of semiotics (the theory of signs) exposes the flaws in both decisions and bolsters the arguments of the lone dissenter in both cases, Justice Alito. Such a better understanding of semiotics involves grasping (a) how expression involves signs, (b) how signs work in general, and (c) the differences between three basic kinds of signs (indexes, icons and symbols). This article maintains that the expression involved in Stevens and in Phelps was a type of indexical or quasi-indexical expression that, for reasons similar to those involved in child pornography cases, should have no First Amendment protection. -/- This article also notes shifting interpretive positions in the Court that cry out for reform. Although Chief Justice Roberts uses a textualist approach in his majority opinion striking down the animal cruelty statute in Stevens, his majority opinion in National Federation of Independent Business v. Sebelius, 132 S.Ct. 2566 (2012), has no trouble finding a “penalty” a “tax,” upholding the Affordable Care Act, and chastising the dissent for voting to strike down a statute simply because “. . . Congress used the wrong labels.” Id. at 2597. -/- This article attempts to expose such gamesmanship in “textualism” and attempts to lay out a better semiotic path for the Court. It calls for more forthright judicial decision-making in constitutional and statutory interpretation; calls for rejecting mechanical notions of law that conceal judicial choice involved in constitutional and statutory interpretation; and calls for rejecting claims that dictionaries can settle constitutional or statutory interpretation issues without reference to constitutional and statutory goals. -/- Keywords: interpretation, construction, meaning, plain meaning, originalism, original intent, canon, semiotics, signs, signals, symbol, icon, index, signifier, signified, ordinary meaning, freedom of speech, freedom of expression, animal cruelty, first amendment, statutes. (shrink)

This Article explores the interpretation and construction of executive orders using as examples President Trump’s two executive orders captioned “Protecting the Nation From Foreign Terrorist Entry Into the United States” (the “Two Executive Orders”). President Trump issued the Two Executive Orders in the context of (among other things) Candidate Trump’s statements such as: “Islam hates us,” and “[W]e can’t allow people coming into this country who have this hatred.” President Trump subsequently provided further context including his tweet about the second (...) of his Two Executive Orders: “People, the lawyers and the courts can call [the second of the Two Executive Orders] whatever they want, but I am calling it what we need and what it is, a TRAVEL BAN!” Although President Trump replaced the first of the Two Executive Orders with the second one and although the Supreme Court by orders dated October 10, 2017 and October 24, 2017, vacated and remanded litigation involving the second order on grounds of mootness, the Two Executive Orders remain highly instructive for those who would understand the interpretation and construction of executive orders. This article therefore examines in detail the original speaker's (i.e., President Trump's) intended meaning and effect of the Two Executive Orders. It performs such examination using insights from the semiotic subfield of pragmatics, a semiotic subfield which explores how real-world people actually use, interpret, and construe language in various real-world contexts (including contexts where the issuer of the Two Executive Orders himself has claimed that “Islam hates us” and has tweeted “TRAVEL BAN!”). Using such insights of pragmatics, this Article also explores why reasonable judges thoroughly versed in legal theory, legal practice, and pragmatics should conclude that President Trump unlawfully targeted Muslims in the Two Executive Orders. This Article, among other things, also questions the sensibility of such notions as “facial legitimacy” to the extent such notions suggest text has meaning apart from context. Keywords: executive orders, speaker meaning, interpretation, construction, semiotics, pragmatics, originalism, speech acts, context, facial legitimacy, Constitutionality, First Amendment,Trump v. Int’l Refugee Assistance Project, Scalia, immigration, semantics, original meaning, travel ban, Trump, textualism. (shrink)

Shakespeare's works present intriguing explorations of law and legal theory. They help demonstrate the flaws in command-theory positivism, natural law theory and prediction theory accounts of the law. This is a simultaneously-published abbreviated version of a longer article published in Acta Iuridica Olomucensia in 2010.

Langdellian “science” and its “formalism” ignore ways form permits and even creates freedom of choice. For example, as Wordsworth notes, though the weaver is restricted by what his form of loom can weave, the weaver may nonetheless choose what and how he weaves. Furthermore, the loom creates weaving possibilities that do not exist without it. Such freedom alongside form is often lost on lawyers, judges, and teachers trained primarily in Langdellian redacted appellate cases where “facts” and other framed matters often (...) wrongly appear as simply given. Similarly, in the context of their redacted appellate cases, many current students may only see constraint in IRAC (Issue-Rule-Application-Conclusion) and other thought forms rather than the fastidious freedoms such forms both provide and create. -/- Overlooking such freedoms is not only misleading in itself. It also misses the need to study how such freedoms are and should be exercised. When facts are simply presented as “given” and strategic and other choices go unrecorded and unnoticed in redacted appellate opinions, no thorough analysis of these overlooked subjects can occur. This is extremely troubling since such overlooked subjects are at the very heart of the lawyer’s craft. -/- Attempting to remedy such Langdellian shortcomings, this article explores, among other things, five basic levels of thought and the framing choices in such levels of thought: references, issues, rules, application of rules, and conclusions. Though often merely taken as “given” in redacted appellate opinions, a good grasp of reference assures that parties are in fact talking about the same matter or matters (the “reference”). It also increases the likelihood of ascertaining and properly framing all the relevant “facts” in a manner reasonably and ethically consistent with a client’s real interests. Similarly, focusing on flexibility of issue framing both brings necessary focus on what is important in the reference and, to the extent reasonable and ethical, again increases the likelihood of frames most consistent with a client’s real interests. A good grasp of applicable rules and how to frame and apply them on its face increases the likelihood of representing a client well. A good grasp of conclusions and how to frame and hedge them also does the same. -/- Grasping the multilevel complexities in play at these multiple levels pushes us beyond briefing redacted appellate cases to the much more difficult and stimulating work of exploring and teaching good legal thought at all its levels. Legal writing professors are pioneers in this regard and others in the academy can learn much from them. -/- Keywords: RIRAC, IRAC, CREAC, Reference, Issue, Analysis, Rule, Application, Conclusion, Frame, Framing, Metaphor, Concept, Category, Legal Thought, Legal Analysis, Rhetoric, Langdell, Wordsworth, Form, Formalism, Sonnet, Text. (shrink)

Neil Gorsuch lauds judges who purport to “apply the law as it is, focusing backward, not forward, and looking to text, structure, and history to decide what a reasonable reader at the time of the events in question would have understood the law to be . . . .” It’s hard to see how such a form of Originalism withstands scrutiny. -/- First, using “reasonable reader” understandings rather than speaker meaning turns language and law on their heads. Audiences effectively become (...) the speakers in ordinary speech (since reader or audience meaning prevails), and audiences (and thus the ruled) effectively become the rulers when interpreting law (since audiences’ meaning prevails). -/- Second, since laws look forward to govern conduct, how can best legal practices keep such a backward focus? -/- Third, words (however understood by others at the time “originally” uttered) may or may not (depending on speaker and not reader meaning) signify concepts whose meanings embrace change over time. For example, the word “planet” used by a speaker before the discovery of Uranus and Neptune may or may not include further planets depending upon what the speaker meant by “planet.” (The same applies to the inclusion or exclusion of Pluto had the speaker used the word “planet” after the discovery of Pluto but before its exclusion by current science.) Unlike the “reasonable” reader of Gorsuch’s Originalism as phrased above, speakers run the gamut from reasonable to unreasonable, from informed to uninformed, and from thoughtful to thoughtless. -/- Fourth, to the extent a judge is principally “constrained” by a text or texts (as he may determine), by dictionaries that he chooses, and by “history” as the judge understands it, isn’t judicial activism encouraged rather than restrained? Talk of a “reasonable” reader masks the fact that there can be multiple “reasonable” conclusions of what a reasonable or unreasonable speaker meant. Is a judge not therefore left to pick definitions and applications of terms that accord with the judge’s understandings of history, understandings that may well be colored by the judge’s politics and judicial philosophy? This applies to principles as well as labels for things. Principles are also subject to multiple frames, and their terms are subject to multiple definitions therefore raising the very same questions just raised above. -/- Finally, such Originalism doesn’t merely fail with legal texts. It also fails when applied to other texts (including sacred texts such as the Ten Commandments) and when used to interpret art (such as “Landscape with the Fall of Icarus” often attributed to Bruegel and which inspired such great ekphrasis as Auden’s “Musée Des Beaux Arts”). These further failures underscore the dysfunction of Originalism in Gorsuch's form noted above. -/- Keywords: Originalism, Neil Gorsuch, Text, Textualism, Scalia, Interpretation, Pragmatics, Speaker Meaning, Art, Painting, Bruegel, Auden, Ekphrasis, Icarus, Bible, Ten Commandments, Herod, Declaration of Independence, Abraham Lincoln. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)